<html>
<body>
<p>报告与记录定义一起使用时不必要的 <code>final</code> 修饰符。</p>
<p><b>示例：</b></p>
<pre><code>
  <b>final</b> record R(int a) {} // 不需要修饰符
</code></pre>
</body>
</html>
